同城即时配送问题基于多预测场景的在线调度

同城即时配送是随现代电子商务而产生的新问题,该问题呈现出极强的动态性与求解时间的紧迫性,并具有商户与顾客一对多的关系、车辆需要多次往返商户取货、货物取送有时效要求等诸多新特征,无法依赖现有研究而求解.针对这一问题,建立了基于多预测场景的在线优化调度方法,将带有预测订单的多个场景整合到路线规划过程,通过每个场景的方案计算,以及多场景方案的整合,得到了车辆赖以运行的集成方案,提高了调度方案面对未来不确定需求的适应性;所建立的调度系统在新订单进入时立即响应,在系统闲置时则采用大邻域搜索技术不断优化未完成的任务方案.最后,在具有200～300个日订单的大连市某同城即时配送公司的真实数据上,验证了在线调度方法的有效性和可行性.     

Theoretical construction in physics – The role of Leibniz for Weyl's ‘Philosophie der Mathematik und Naturwissenschaft’

This paper aims at closing a gap in recent Weyl research by investigating the role played by Leibniz for the development and consolidation of Weyl's notion of theoretical (symbolic) construction. For Weyl, just as for Leibniz, mathematics was not simply an accompanying tool when doing physics—for him it meant the ability to engage in well-guided speculations about a general framework of reality and experience. The paper first introduces some of the background of Weyl's notion of theoretical construction and then discusses particular Leibnizian inheritances in Weyl's ‘Philosophie der Mathematik und Naturwissenschaft’, such as the general appreciation of the principles of sufficient reason and of continuity. Afterwards the paper focuses on three themes: first, Leibniz's primary quality phenomenalism, which according to Weyl marked the decisive step in realizing that physical qualities are never apprehended directly; second, the conceptual relation between continuity and freedom; and third, Leibniz's notion of ‘expression’, which allows for a certain type of (surrogative) reasoning by structural analogy and which gave rise to Weyl's optimism regarding the scope of theoretical construction.     

New theories for new instruments: Fabrizio Mordente's proportional compass and the genesis of Giordano Bruno's atomist geometry

The aim of this article is to shed light on an understudied aspect of Giordano Bruno's intellectual biography, namely, his career as a mathematical practitioner. Early interpreters, especially, have criticized Bruno's mathematics for being “outdated” or too “concrete”. However, thanks to developments in the study of early modern mathematics and the rediscovery of Bruno's first mathematical writings (four dialogues on Fabrizio's Mordente proportional compass), we are in a position to better understand Bruno's mathematics. In particular, this article aims to reopen the question of whether Bruno anticipated the concept of infinitesimal quantity. It does so by providing an analysis of the dialogues on Mordente's compass and of the historical circumstances under which those dialogues were written.     

基于SEM的高校体育教育学生满意度研究

借助"顾客满意度"理论,构建高校体育教育学生满意度测量量表.运用因子分析理论,对"感知质量"变量进行探索性因子分析,运用参数检验的方法对各变量在性别上的差异性做对比分析,运用结构方程模型的方法,对高校体育教育学生满意度模型中的5个变量进行相关性分析.因子分析结果表明,高校体育教育服务感知质量包括"体育硬件感知""体育教学感知"和"课外体育感知"3个维度;各变量的均值及差异性对比分析结果表明,学生对高校体育教育的"感知质量""感知价值"和"总体满意度"评分偏低,男生评分低于女生;结构方程模型分析结果表明,"体育硬件"对"总体满意度"有直接和间接的影响,"体育教学"通过中介变量"感知价值"对"总体满意度"有间接的影响.     

医疗卫生工作者心理健康水平现状

 为了解医疗卫生工作者心理健康水平的现状，从2017年科技工作者心理状况调查的数据中选取医疗卫生工作者样本1463人，同时抽取其他科技工作者1441人作为对照组。调查结果发现：医疗卫生工作者抑郁风险低于对照组，焦虑和自杀意念与对照组无显著差异，工作倦怠及情感衰竭度显著高于对照组；医疗卫生工作者心理健康群体差异明显，50岁后抑郁和焦虑水平均降低，正高级职称人群的抑郁和焦虑水平均较低。情绪调控方式上，压制组表现出更多的抑郁和焦虑风险；同时，医疗卫生工作者存在睡眠时间不足、运动次数和运动时长不足、工作时长过长的问题；在心理健康服务方面，医疗卫生工作者整体优于对照组。建议改善医疗卫生工作者工作时长和工作压力，倡导健康生活方式，并提高情绪调节能力。     

γ能谱Compton抑制的MCNP模拟

用Monte Carlo程序(MCNP)模拟主探头外包NaI(Tl)晶体构成阱型反Compton谱仪的输出谱. 通过调整FU卡参数, 实现对外探测器中脉冲高度的筛选, 给出反Compton抑制谱和Compton电子谱, 验证MCNP的FU卡在反符合测量中的使用方法, 并分析外探测器厚度对反Compton谱的影响.     

Coincidence and reproducibility in the EHT black hole experiment

This paper discusses some philosophical aspects related to the recent publication of the experimental results of the 2017 black hole experiment, namely the first image of the supermassive black hole at the center of galaxy M87. In this paper I present a philosophical analysis of the 2017 Event Horizon Telescope (EHT) black hole experiment. I first present Hacking's philosophy of experimentation. Hacking gives his taxonomy of elements of laboratory science and distinguishes a list of elements. I show that the EHT experiment conforms to major elements from Hacking's list. I then describe with the help of Galison's Philosophy of the Shadow how the EHT Collaboration created the famous black hole image. Galison outlines three stages for the reconstruction of the black hole image: Socio-Epistemology, Mechanical Objectivity, after which there is an additional Socio-Epistemology stage. I subsequently present my own interpretation of the reconstruction of the black hole image and I discuss model fitting to data. I suggest that the main method used by the EHT Collaboration to assure trust in the results of the EHT experiment is what philosophers call the Argument from Coincidence. I show that using this method for the above purpose is problematic. I present two versions of the Argument from Coincidence: Hacking's Coincidence and Cartwright's Reproducibility by which I analyse the EHT experiment. The same estimation of the mass of the black hole is reproduced in four different procedures. The EHT Collaboration concludes: the value we have converged upon is robust. I analyse the mass measurements of the black hole with the help of Cartwright's notion of robustness. I show that the EHT Collaboration construe Coincidence/Reproducibility as Technological Agnosticism and I contrast this interpretation with van Fraassen's scientific agnosticism.     

矩阵力学与波动力学等价性证明的历史分析

矩阵力学和波动力学是量子力学的两种早期形态。前者由海森堡、约当、玻恩提出,后者由薛定谔提出。1926年,薛定谔给出二者之间等价性的证明。随后,泡利、狄拉克、约当、冯·诺伊曼等人或是为等价性证明给出新的版本,或是给出了间接的论证。这两种力学现在已被表述为海森堡绘景和薛定谔绘景,而数学家近来又从量子化问题出发对其等价性做出新的考察。本文对此历史过程进行回顾分析,以评估等价性问题对物理发展的意义。     

数控机床故障分析与可靠性评价技术的研究

针对传统数控机床可靠性建模时只考虑故障间隔时间而忽略故障性质的现象，提出兼顾机械故障和电气故障的混合威布尔分布模型，进而提高模型准确度.利用最大似然法来确定混合威布尔分布模型参数，用皮尔逊相关系数来确定数控机床各故障时间之间的关系.并通过K-S方法对模型进行检验， 最后确定其符合混合威布尔分布，并运用可靠性评定方法得出数控机床的平均无故障时间.     

桉树生态营林的理论探索与实践

桉树生态环境问题是世界性难题,迫切需要开展生态营林理论的探索与实践。本文通过系统地研究营林措施与人工林生态服务功能关系的变化规律,分析不同营林措施对桉树人工林生态服务功能的作用机制,并通过桉树生态营林实践,建立起现代桉树生态营林理论体系。文中提出生态营林的定义、生态营林原则和生态营林的理论体系。6年的生态营林实践表明,采取"低干扰、低投入、低污染"的生态营林方式,获得"高产量、高价值、高效率"的营林效果,实现长短结合、一般用材与珍贵用材结合、木材生产与生态服务协同提升的生态营林目标。该理论是解决当今桉树人工林木材生产和生态服务失衡以及生物安全、土壤安全、生态安全问题,实现高质量发展的重要理论基础,对推动我国现代林业高质量发展具有重要的指导作用。